current_prolog_flag(argv,L),nth1(2,L,FILE), [FILE].
['framework/base.pl'].

findall((T,L),(knows(_,Y),contains(Y,pri(T,LST)),length(LST,L)),LSTTL),
list_to_set(LSTTL,SETTL),
forall(member((T,L),SETTL),(print(T),print('/'),print(L),print(' '))).

print('\n').
